1341. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
1342. Perspectives on Software Requirements
پدیدآورنده : edited by Julio Cesar Sampaio Prado Leite, Jorge Horacio Doorn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.
1343. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Parallel processing )Electronic computers(,، Computer science - Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
1344. Petri net algebra
پدیدآورنده : Eike Best; Raymond Devillers; Maciej Koutny
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics.,Parallel processing (Electronic computers),Petri nets.
رده :
QA76
.
58
E354
2010
1345. Petri net algebra
پدیدآورنده : Best, Eike
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer science-- Mathematics,، Petri nets
رده :
QA
76
.
58
.
B48
2001
1346. Physical perspectives on computation, computational perspectives on physics /
پدیدآورنده : edited by Michael E. Cuffaro and Samuel C. Fletcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Computer science-- Mathematics.,Mathematical physics.,Physics-- Data processing.,Computational complexity.,Computer science-- Mathematics.,Mathematical physics.,Physics-- Data processing.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
رده :
QC20
1347. Physics and theoretical computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ; Physics. ; Cryptography. ;
1348. Physics and theoretical computer science :
پدیدآورنده : edited by Jean-Pierre Gazeau, Jaroslav Nešetřil and Branislav Rovan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics,Cryptography,Physics
رده :
QA76
.
9
.
M35
P48
2006
1349. Practical Asymptotics
پدیدآورنده : edited by H. K. Kuiken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Mathematics.
1350. Practical MATLAB Deep Learning
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer Science; Programming Languages, Compilers, Interpreters; Hardware and Maker; Mathematics of Computing; Programming Techniques
1351. Praktische Informationstechnik mit C#
پدیدآورنده : Oliver Kluge.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Electronic data processing.,Engineering mathematics.
1352. Praktische Numerik mit Mathematica :
پدیدآورنده : von Werner Sanns, Marco Schuchmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Mathematics.,Global analysis (Mathematics),Mathematics.
1353. Predicate transformer semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
1354. Preparing ASEAN for the information century
پدیدآورنده :
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع : Computer-assisted instruction - Government policy - Asia, Southeastern,Mathematics - Asia, Southeastern - Computer-assisted instruction,Science - Asia, Southeastern - Computer-assisted instruction
رده :
QA
,
20
,.
C65
,
T7
,
1991
1355. Pro Power BI Desktop /
پدیدآورنده : Adam Aspin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Data mining,Database management,Management information systems,Mathematics,Visualization
1356. Probabilistic Methods for Algorithmic Discrete Mathematics
پدیدآورنده : edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
1357. Probability Model
پدیدآورنده : / by John Haigh
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer science,Computer simulation,Distribution (Probability theory),Operations research,Electronic books
رده :
E-BOOK
1358. Probability Models for Computer Science
پدیدآورنده : / Sheldon M. Ross
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : probabilities,computer science - mathematics
رده :
QA273
.
R852
1359. Probability and statistics for computer science
پدیدآورنده : Johnson, James Lee
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Computer science,، Probabilities,Data processing ، Mathematical statistics
رده :
QA
76
.
9
.
M35
J62
2008
1360. Probability and statistics for computer science
پدیدآورنده : Johnson, James L. )James Lee(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Mathematics ، Computer science,، Probabilities,Data processing ، Mathematical statistics
رده :
QA
76
.
9
.
J6P7
